Mathematical programming - PDFSEARCH.IO - Document Search Engine

Mathematical programming
Results: 4310

#	Item
351	IE 670: Topics in Operations Research Fall 2013 UB - Department of Industrial and Systems Engineering IE 670: Topics in Operations Research Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Mathematical optimization Operations research Dynamical systems Calculus of variations Partial differential equations Projected dynamical system Complementarity theory Variational inequality Linear complementarity problem Linear programming Draft:Extended mathematical programming Mathematical programming with equilibrium constraints
352	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
353	Fundamenta Informaticaei–ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-11-05 06:10:40 Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization
354	Course: Dynamic Programming and Business Cycles Faculty: Add to Reading List Source URL: idea.uab.es Language: English - Date: 2016-07-28 04:30:07 Mathematical optimization Operations research Equations Dynamic programming Optimal control Systems engineering Stochastic programming Bellaterra JavaScript Recursion Dynamics Lars Ljungqvist
355	Landscape Automata for Search Based Procedural Content Generation. Daniel Ashlock and Cameron McGuinness Abstract—This study introduces a new representation landscape automata for encoding heightmaps that may be used f Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Cybernetics Mathematical optimization Genetic algorithms Heightmap Procedural generation Scenery generator Evolutionary algorithm Cellular automaton Fitness landscape Fitness function Genetic programming Finite-state machine
356	IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 60, NO. 4, APRILAn Optimizer’s Approach to Stochastic Control Problems With Nonclassical Information Structures Add to Reading List Source URL: coleman.ucsd.edu Language: English Mathematical optimization Transportation theory Convex optimization Relaxation KarushKuhnTucker conditions Linear programming Optimization problem Ratedistortion theory Quasigroup Lagrange multiplier Optimal control Equation solving
357	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
358	BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Theoretical computer science Bigraph Logic in computer science Programming language semantics Mathematical logic Operational semantics ALGOL 68 Structure Actor model Modal logic
359	Scaling MPE Inference for Constrained Continuous Markov Random Fields with Consensus Optimization Stephen H. Bach University of Maryland, College Park College Park, MD 20742 Add to Reading List Source URL: stephenbach.net Language: English - Date: 2013-06-10 18:15:08 Operations research Mathematical optimization Convex optimization Multivariable calculus Linear programming Lagrange multiplier Finite element method Algorithm Interior point method
360	Mach Learn:3–39 DOIs10994A majorization-minimization approach to the sparse generalized eigenvalue problem Bharath K. Sriperumbudur · David A. Torres · Add to Reading List Source URL: eceweb.ucsd.edu Language: English - Date: 2015-07-31 19:00:27 Multivariate statistics Operations research Mathematical optimization Numerical linear algebra Dimension reduction Sparse PCA Sparse approximation Principal component analysis Limit of a function Convex optimization Semidefinite programming K-SVD

UPDATE